print: disconnect source_changed_handler on printeroptionwidget finalize
authorAlban Browaeys <prahal@yahoo.com>
Thu, 21 Mar 2013 08:45:32 +0000 (09:45 +0100)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 15 Apr 2013 00:20:14 +0000 (20:20 -0400)
commitad764c8a58579c6f0427c3584b00530a32001303
tree9df2c0e598a3c5f433bdf80cd874095c6462df33
parentefaacea1d2b8064aa7ba9cc7bbfa3bb84964e004
print: disconnect source_changed_handler on printeroptionwidget finalize

Printing a web page without window.print (which still segfault),
that is Ctrl+P is fixed (does not attempt to execute the
source_changed_handler on a printeroptionwidget that has been
destroyed) by disconnecting this handler in the printeroptionwidget
finalize.

https://bugzilla.gnome.org/show_bug.cgi?id=696622
gtk/gtkprinteroptionwidget.c